3125 The Partial Execution of a DCG . : : : : : : : : : : : : : :
نویسنده
چکیده
منابع مشابه
Automatic Synthesis of Semantics for Context-free Grammars
We are investigating the mechanical transformation of an unambiguous context-free grammar (CFG) into a deenite-clause grammar (DCG) using a nite set of examples, each of which is a pair hs; mi, where s is a sentence belonging to the language deened by the CFG and m is a semantic representation (meaning) of s. The resulting DCG would be such that it can be executed (by the interpreter of a logic...
متن کاملFrom Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach
> We discuss the mechanical transformation of an unambiguous context-free grammar (CFG) into a deenite-clause grammar (DCG) using a nite set of examples, each of which is a pair hs; mi, where s is a sentence belonging to the language deened by the CFG and m is the semantic representation (meaning) of s. The resulting DCG would be such that it could be executed to compute the semantics for every...
متن کاملDynamic Cognitive Game CAPTCHA Usability and Detection of Streaming-Based Farming
CAPTCHAs are a widely deployed mechanism to distinguish a legitimate human user from a computerized program trying to abuse online services. Attackers, however, have devised a clever and an economical way to bypass the security provided by CAPTCHAs by simply relaying CAPTCHA challenges to remote human-solvers. Most existing varieties of CAPTCHAs are completely vulnerable to such relay attacks, ...
متن کاملCorrecting the Dynamic Call Graph Using Control-Flow Constraints
To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with low runtime overhead. As object-oriented programmers compose increasingly complex programs, inaccurate call graphs will inhibit analysis and optimizations. This paper demonstrates how to use static and dynamic control flow grap...
متن کاملDeterministic Clock Gating for Microprocessor Power Reduction
With the scaling of technology and the need for higher performance and more functionality, power dissipation is becoming a major bottleneck for microprocessor designs. Pipeline balancing (PLB), a previous technique, is essentially a methodology to clockgate unused components whenever a program’s instruction-level parallelism is predicted to be low. However, no non-predictive methodologies are a...
متن کامل